Dique seco ou doca seca é um recinto cavado à beira de um braço de água (mar, rio, etc.) de forma a receber uma ou mais embarcações em simultâneo para vistorias, fabrico, limpeza ou construção, sendo mais uma Oficina-Naval que um Estaleiro, propriamente dito. No fundo da doca seca existem picadeiros onde as embarcações assentam as quilhas; as paredes laterais vão alargando para a parte superior para facilitar a circulação do pessoal e os escoramento das embarcações.

Na extremidade que comunica com a água há uma porta estanque (porta batel); após a entrada da embarcação, estas portas são fechadas e a água que havia entrado na doca é bombeada para fora. No processo inverso, para a saída da embarcação, a água é bombeada até um nível que permita a abertura das portas sem que o caudal da entrada ponha em risco a estabilidade da embarcação dentro da doca.

Estas reparações que se efetuam de forma periódica recebem o nome de carenado. São efetuadas nas partes do casco conhecida como carena.